A practical data-flow verification scheme for business processes

Data in business processes becomes more and more important. Current standard languages for process modeling like BPMN 2.0 which include the data flow reflect this. Ensuring the correctness of the data flow in processes is challenging. Model checking, i.e., verifying properties of process models, is a well-known technique to this end. An important part of model checking is the construction of the state space of the model. However, state-space explosion typically is in the way of an effective verification. We study how to overcome this problem in our context by means of reduction. More specifically, we propose a reduction on the level of the process model. To our knowledge, this is new for the data-flow analysis of processes. The core of our approach are so-called regions of the process model that are relevant for the verification of properties describing the data flow. Non-relevant regions are candidates for reduction of the process model, yielding a smaller state space. Our evaluation shows that our approach works well on industrial process models.     

Semantics for consistent activation in context-oriented systems

ContextContext-oriented programming languages provide dedicated programming abstractions to define behavioral adaptations and means to combine those adaptations dynamically according to sensed context changes. Some of these languages feature programming abstractions to explicitly define interaction dependencies among contexts. However, the semantics of context activation and the meaning of dependency relations have been described only informally, which in some cases has led to incorrect specifications, faulty implementations and inconsistent system behavior.ObjectiveWith the aim of avoiding faulty implementations and inconsistencies during system execution, this paper proposes both a formal and run-time model of contexts, context activation and context interaction.MethodAs a formal and computational basis, we introduce context Petri nets, a model based on Petri nets, which we found to match closely the structure of contexts in context-oriented systems. The operational semantics of Petri nets permits the modeling of run-time context activations. Existing Petri net analyses allow us to reason about system properties. As validation, we carried out small and medium-sized case studies.ResultsIn the cases explored, context Petri nets served effectively as underlying run-time model to ensure that declared context interaction constraints remain consistent during context manipulation. Moreover, context Petri nets enabled us to analyze certain properties regarding the activation state of particular contexts.ConclusionContext Petri nets thus proved to be appropriate to encode and manage the semantics of context activation, both formally and computationally, so as to preserve the consistency of context-oriented systems.     

谈我省煤炭专网通信及信息网络系统改造

通过对我省煤炭专网通信与信息系统应用现状及存在问题的分析,论述了建立综合信息网络系统的必要性和可能性,并初步阐述了综合信息网络系统建设应遵循的规划目标和原则。     

浅谈危险废物处理处置工程的规划及设计

根据笔者近10年来在危险废物处理领域的体会,在探讨了危险废物处理处置工程规划和设计应遵循的原则、处理处置工程一般应包括的工程设施的基础上,重点探讨了危险废物处理处置工程的物流体系、规划和设计的具体方案及其应注意的问题。     

The effects of land use on fluvial sediment chemistry for the conterminous U.S. - results from the first cycle of the NAWQA Program: trace and major elements, phosphorus, carbon, and sulfur

In 1991, the U.S. Geological Survey (USGS) began the first cycle of its National Water Quality Assessment (NAWQA) Program. The Program encompassed 51 river basins that collectively accounted for more than 70% of the total water use (excluding power generation), and 50% of the drinking water supply in the U.S. The basins represented a variety of hydrologic settings, rock types (geology), land-use categories, and population densities. One aspect of the first cycle included bed sediment sampling; sites were chosen to represent baseline and important land-use categories (e.g., agriculture, urban) in each basin. In total, over 1200 bed sediment samples were collected. All samples were size-limited (< 63 µm) to facilitate spatial and/or temporal comparisons, and subsequently analyzed for a variety of chemical constituents including major (e.g., Fe, Al,) and trace elements (e.g., Cu, Zn, Cd), nutrients (e.g., P), and carbon. The analyses yielded total (≥ 95% of the concentrations present), rather than total-recoverable chemical data.Land-use percentages, upstream underlying geology, and population density were determined for each site and evaluated to asses their relative influence on sediment chemistry. Baseline concentrations for the entire U.S. also were generated from a subset of all the samples, and are based on material collected from low population (≤ 27 p km^− 2) density, low percent urban (≤ 5%), agricultural or undeveloped areas. The NAWQA baseline values are similar to those found in other national and global datasets. Further, it appears that upstream/underlying rock type has only a limited effect (mostly major elements) on sediment chemistry. The only land-use category that appears to substantially affect sediment chemistry is percent urban, and this result is mirrored by population density; in fact, the latter appears more consistent than the former.     

环境设计,永恒的主题——广州市芳村花园居住小区规划设计心得

该文从三个方面介绍了广州市芳村花园如何以居住环境设计为创造点，实现“以人为本，回归自然”的设计理念。     

墙板模型高层结构空间分析程序BSSA的特点和应用

本文阐述了墙板单元模型高层结构程序BSSA的主要特点,并通过对典型考题和体型复杂的工程实例的计算分析,指出薄壁柱单元模型程序在一些工程计算中存在的局限性,对于重要工程必须采用不同力学模型的程序进行计算互校,确保工程安全可靠。     

建筑设计基本过程研究

论文在对建筑设计过程相关理论研究成果的归纳比较基础上，引出关于设计过程基本问题的思考，并通过建立设计过程的三维模型、设计过程的特性以及设计阶段和设计程序的分析研究，力求理解和把握建筑设计过程。     

Exposure and effects assessment of persistent organohalogen contaminants in arctic wildlife and fish

Persistent organic pollutants (POPs) encompass an array of anthropogenic organic and elemental substances and their degradation and metabolic byproducts that have been found in the tissues of exposed animals, especially POPs categorized as organohalogen contaminants (OHCs). OHCs have been of concern in the circumpolar arctic for decades. For example, as a consequence of bioaccumulation and in some cases biomagnification of legacy (e.g., chlorinated PCBs, DDTs and CHLs) and emerging (e.g., brominated flame retardants (BFRs) and in particular polybrominated diphenyl ethers (PBDEs) and perfluorinated compounds (PFCs) including perfluorooctane sulfonate (PFOS) and perfluorooctanic acid (PFOA) found in Arctic biota and humans. Of high concern are the potential biological effects of these contaminants in exposed Arctic wildlife and fish. As concluded in the last review in 2004 for the Arctic Monitoring and Assessment Program (AMAP) on the effects of POPs in Arctic wildlife, prior to 1997, biological effects data were minimal and insufficient at any level of biological organization. The present review summarizes recent studies on biological effects in relation to OHC exposure, and attempts to assess known tissue/body compartment concentration data in the context of possible threshold levels of effects to evaluate the risks. This review concentrates mainly on post-2002, new OHC effects data in Arctic wildlife and fish, and is largely based on recently available effects data for populations of several top trophic level species, including seabirds (e.g., glaucous gull (Larus hyperboreus)), polar bears (Ursus maritimus), polar (Arctic) fox (Vulpes lagopus), and Arctic charr (Salvelinus alpinus), as well as semi-captive studies on sled dogs (Canis familiaris). Regardless, there remains a dearth of data on true contaminant exposure, cause-effect relationships with respect to these contaminant exposures in Arctic wildlife and fish. Indications of exposure effects are largely based on correlations between biomarker endpoints (e.g., biochemical processes related to the immune and endocrine system, pathological changes in tissues and reproduction and development) and tissue residue levels of OHCs (e.g., PCBs, DDTs, CHLs, PBDEs and in a few cases perfluorinated carboxylic acids (PFCAs) and perfluorinated sulfonates (PFSAs)). Some exceptions include semi-field studies on comparative contaminant effects of control and exposed cohorts of captive Greenland sled dogs, and performance studies mimicking environmentally relevant PCB concentrations in Arctic charr. Recent tissue concentrations in several arctic marine mammal species and populations exceed a general threshold level of concern of 1 part-per-million (ppm), but a clear evidence of a POP/OHC-related stress in these populations remains to be confirmed. There remains minimal evidence that OHCs are having widespread effects on the health of Arctic organisms, with the possible exception of East Greenland and Svalbard polar bears and Svalbard glaucous gulls. However, the true (if any real) effects of POPs in Arctic wildlife have to be put into the context of other environmental, ecological and physiological stressors (both anthropogenic and natural) that render an overall complex picture. For instance, seasonal changes in food intake and corresponding cycles of fattening and emaciation seen in Arctic animals can modify contaminant tissue distribution and toxicokinetics (contaminant deposition, metabolism and depuration). Also, other factors, including impact of climate change (seasonal ice and temperature changes, and connection to food web changes, nutrition, etc. in exposed biota), disease, species invasion and the connection to disease resistance will impact toxicant exposure. Overall, further research and better understanding of POP/OHC impact on animal performance in Arctic biota are recommended. Regardless, it could be argued that Arctic wildlife and fish at the highest potential risk of POP/OHC exposure and mediated effects are East Greenland, Svalbard and (West and South) Hudson Bay polar bears, Alaskan and Northern Norway killer whales, several species of gulls and other seabirds from the Svalbard area, Northern Norway, East Greenland, the Kara Sea and/or the Canadian central high Arctic, East Greenland ringed seal and a few populations of Arctic charr and Greenland shark.     

基于可拓学的生态园林设计方法及程序设计初探

可拓学是一种辅助策略生成的逻辑方法,正被逐渐引用到生态城市规划领域中。生态园林是基于时代背景下衍生出的能够改善社会以及自然环境的园林建设方式。目前已经有很多辅助生态园林设计的理念、方法和技术,但在系统地、联系地分析问题方面还比较欠缺。可拓学拥有突破矛盾问题、关联分析问题的特点,十分适合引用到生态园林设计中。基于生态园林设计的需要,文章初步总结出拆分与重构、共轭分析、相关网分析三种可拓生态园林设计方法,并设计了相应的程序流程,为可拓生态园林设计方法构建基本框架。